$\forall$${\it the\_es}$:ES, $e$:E. $\neg$($e$ $<$loc $e$)